International Conference on Functional Programming - PDFSEARCH.IO - Document Search Engine

International Conference on Functional Programming
Results: 84

#	Item
41	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
42	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
43	Steve Zdancewic Research Statement September 4, 2007 Security-Oriented Languages The proliferation of network-enabled devices and the success of Internet applications has made it easier to access Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-05-13 09:16:55 Programming language International Conference on Functional Programming Ada Control flow ABLE Computer science ALGOL 68 Information flow Aspect-oriented programming Computing Software engineering Programming language theory
44	Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN  Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Association for Computing Machinery Functional languages Functional programming Object-oriented programming International Conference on Functional Programming Racket SIGPLAN Symposium on Trends in Functional Programming Programming language Software engineering Computing Computer programming
45	Steve Zdancewic Stephan A. Zdancewic, Curriculum Vitae November 20, 2014 www.cis.upenn.edu/˜stevez Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-11-20 11:05:15 Computer science Association for Computing Machinery International Conference on Functional Programming Programming language theory Principles of Programming Languages Programming language SIGPLAN Journal of Functional Programming Continuation Functional programming Software engineering Computing
46	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
47	> (for-papers) ; call for papers 2004 Scheme Workshop http://www.cs.indiana.edu/scheme2004 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:52 Year of birth missing Functional programming International Conference on Functional Programming Scheme programming language Matthias Felleisen Cross-platform software Scheme Continuation SIGPLAN Software engineering Computing Software
48	> (for-papers) ; call for papers 2007 Workshop on Scheme and Functional Programming Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:24 Year of birth missing Cross-platform software Scheme International Conference on Functional Programming Continuation William Clinger Programming paradigm Functional programming Programming language Software engineering Computing Software
49	> (for-papers) ; call for papers 2004 Scheme Workshop http://www.cs.indiana.edu/scheme2004 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:44 Year of birth missing Functional programming International Conference on Functional Programming Scheme programming language Matthias Felleisen Cross-platform software Scheme Continuation SIGPLAN Software engineering Computing Software
50	The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest Tom Murphy VII Daniel Spoonhower Chris Casinghino Daniel R. Licata Add to Reading List Source URL: boundvariable.org Language: English Software engineering Programming language International Conference on Functional Programming Expect Algorithm Parallel computing Computer programming Computing ICFP Programming Contest